/*
 * Copyright (c) 2006-2018, RT-Thread Development Team
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Change Logs:
 * Date           Author       Notes
 * 2019-09-25     tyustli   first version
 */

#include <rthw.h>
#include <rtthread.h>
#include <interrupt.h>

rt_uint32_t rt_interrupt_from_thread, rt_interrupt_to_thread;
rt_uint32_t rt_thread_switch_interrupt_flag;

void rt_interrupt_dispatch(rt_uint32_t fiq_irq)
{
    DispatchIRQ();
}

